Function type - PDFSEARCH.IO - Document Search Engine

Function type
Results: 893

#	Item
841	The intrinsic topology of a Martin-L¨of universe Mart´ın H. Escard´o February 2012, version of May 15, 2012 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-05-15 18:09:46 Continuous function Sheaf Topological space Intuitionistic type theory Weak topology Topos Discrete space Closure Compact space Topology General topology Mathematics
842	Intensionality, Extensionality, and Proof Irrelevance in Modal Type Theory Frank Pfenning∗ Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-04-10 23:35:37 Deduction Set theory Logic in computer science Symbol Entailment Extensionality Function Interpretation Natural deduction Logic Mathematical logic Mathematics
843	TYPE SYSTEMS FOR POLYNOMIAL-TIME COMPUTATION Add to Reading List Source URL: www.lfcs.inf.ed.ac.uk Language: English - Date: 2000-08-18 13:13:43 Mathematical logic Theory of computation Recursion Functions and mappings Lambda calculus Primitive recursive function Computable function Function Fold Theoretical computer science Mathematics Computability theory
844	Curry An Integrated Functional Logic Language Version 0.8.3 Add to Reading List Source URL: www-ps.informatik.uni-kiel.de Language: English - Date: 2012-09-11 10:34:08 Type theory Data types Formal methods Procedural programming languages Theoretical computer science Curry Function Variable Type system Software engineering Computing Programming language theory
845	Programming in Martin-L¨ of ’s Type Theory Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2010-04-12 10:42:38 Cardinal numbers Function Naive set theory Finite set Constructible universe Equivalence relation Infinite set Well-order Set Mathematics Mathematical logic Set theory
846	Mathematical Linguistics ´s Kornai Add to Reading List Source URL: www.helsinki.fi Language: English - Date: 2002-07-09 07:49:28 Mathematical logic Axiom Mathematical proof Function Semantics Type theory Theory Formal system Set theory Logic Mathematics Science
847	A Generic Type-and-Effect System Daniel Marino Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2008-11-23 21:25:34 Golden ratio Function Mathematics Functions and mappings Symbol
848	Isomorphism is equality Thierry Coquand∗, Nils Anders Danielsson∗ University of Gothenburg and Chalmers University of Technology Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-10-18 07:55:34 Monoid Semigroup theory Interpretation Equality Type theory Combinatorial species Function Isomorphism Sheaf Mathematics Abstract algebra Category theory
849	Writing Systems Software in a Functional Language An Experience Report Iavor S. Diatchki Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2008-07-10 18:37:13 Functional languages Data types Type theory Procedural programming languages Haskell Literate programming L4 microkernel family Yi Foreign function interface Computing Software engineering Computer programming
850	Amending Frege’s Grundgesetze der Arithmetik [draft] To the memory of Nhˆe[removed]) Add to Reading List Source URL: www.ciul.ul.pt Language: English - Date: 2002-10-10 10:09:04 Philosophy of mathematics Type theory Axiom of reducibility Bertrand Russell Computability theory Logicism Gottlob Frege Principia Mathematica Function Mathematics Mathematical logic Logic

UPDATE